Towards full completeness of the linear logic of Chu spaces
نویسنده
چکیده
We investigate the linear logic of Chu spaces as deened by its dinaturality semantics. For those formulas of multiplicative linear logic limited to at most two occurrences of each variable we prove full completeness of Girard's MIX-free axiomatization, namely that the cut-free proof-nets of such formulas are in a natural bijection with the dinatural elements of the corresponding functors.
منابع مشابه
Full Completeness of the Multiplicative Linear Logic of Chu Spaces
We prove full completeness of multiplicative linear logic (MLL) without MIX under the Chu interpretation. In particular we show that the cut-free proofs of MLL theorems are in a natural bijection with the binary logical transformations of the corresponding operations on the category of Chu spaces on a two-letter alphabet. This is the online version of the paper of the same title appearing in th...
متن کاملFull completeness of the multiplicative linear logic ofChu
We prove full completeness of multiplicative linear logic (MLL) without MIX under the Chu interpretation. In particular we show that the cut-free proofs of MLL theorems are in a natural bijection with the binary logical transformations of the corresponding functors on the category of Chu spaces on a two-letter alphabet.
متن کاملTowards Full Completeness for the Linear Logic of Chu Spaces
We prove full completeness for a fragment of the linear logic of the self-dual monoidal category of Chu spaces over 2, namely that the proofs between semisimple (conjunctive normal form) formulas of multiplicative linear logic without constants having two occurrences of each variable are in bijection with the dinatural transformations between the corresponding functors. The proof assigns to var...
متن کاملCharacterization of fuzzy complete normed space and fuzzy b-complete set
The present paper introduces the notion of the complete fuzzy norm on a linear space. And, some relations between the fuzzy completeness and ordinary completeness on a linear space is considered, moreover a new form of fuzzy compact spaces, namely b-compact spaces and b-closed spaces are introduced. Some characterizations of their properties are obtained.
متن کاملA Topologist's View of Chu Spaces
For a symmetric monoidal-closed category X and any object K, the category of K-Chu spaces is small-topological over X and small cotopological over X . Its full subcategory of M-extensive K-Chu spaces is topological over X when X is Mcomplete, for any morphism class M. Often this subcategory may be presented as a full coreflective subcategory of Diers’ category of affine K-spaces. Hence, in addi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 6 شماره
صفحات -
تاریخ انتشار 1997